and Applications - PDFSEARCH.IO - Document Search Engine

and Applications
Results: 31669

#	Item
41	Extracted from: Programming Kotlin Creating Elegant, Expressive, and Performant JVM and Android Applications Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2018-10-22 12:41:58 Computing Software engineering Computer programming Object-oriented programming languages Programming languages Method Java platform Concurrent programming languages Kotlin Property Scala Mutator method
42	Full version of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as ReportMalleable Proof Systems and Applications Melis Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Zero-knowledge proof Proof of knowledge Malleability Mathematical proof Non-interactive zero-knowledge proof Ciphertext indistinguishability Homomorphic encryption FiatShamir heuristic
43	Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:49 Latin script Character encoding Digital typography Circumflex Writing Notation French Braille World glyph set
44	Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:16 Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Metaphilosophy Mathematics
45	Varnish What is Varnish? Varnish is a state-of-the art web accelerator for dynamic content, such as websites, APIs, and mobile applications. Varnish is designed for high-performance content delivery and real-time managem Add to Reading List Source URL: www.fastly.com Language: English - Date: 2017-05-05 00:24:01 Computing Concurrent computing Distributed computing Content delivery networks Reverse proxy Fastly Internet security Varnish VCL Web accelerator
46	Child’s Play Charity is opening up applications for phase two of our shelter program. The application is for a Child’s Play game case which is a self-contained portable unit that holds a TV and a video game console. Add to Reading List Source URL: assets.childsplaycharity.org Language: English - Date: 2018-10-04 10:43:07 Software Gaming Computing Redmond Washington Peggle Nintendo Picture Motion Browser
47	Lecture 24, Tues April 18: Collision and Other Applications of Grover We’ve seen the application of Grover’s algorithm to searching game trees. Now let’s see another important application, to… The Collision Probl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-08-26 18:23:45 Computational complexity theory Theoretical computer science Theory of computation Complexity classes Quantum computing Quantum complexity theory Emerging technologies Quantum algorithm BQP PP P versus NP problem NP
48	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-05 03:12:13 Computer programming Software engineering Computing Lisp ACL2 Functional languages J Strother Moore Formal methods Automated theorem proving Common Lisp ACL Advanced Micro Devices
49	Practical Post-Quantum Cryptography for Trusted Computing Matthias J. Kannwischer, PhD Student Workshop on Trusted Computing and its Applications 25 January 2018 Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-04-02 10:21:47 Cryptography Post-quantum cryptography Trusted Computing Public-key cryptography Quantum cryptography Key size Advanced Encryption Standard process
50	Contrast Security Announces Microsoft Ventures and AXA Strategic Ventures as Global Strategic Investors Investments signal criticality of securing software applications in the Cloud and DevOps Los Altos, Calif. — Decem Add to Reading List Source URL: www.axavp.com Language: English - Date: 2018-04-06 05:48:02 Computing Technology Software development AXA CAC 40 DevOps Application security Microsoft M12 Computer security

UPDATE